The patch extends the VMCS handling to support both 32-bit and 64-bit
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 4 Jul 2005 08:20:20 +0000 (08:20 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 4 Jul 2005 08:20:20 +0000 (08:20 +0000)
commitd05c4adbfb1dc84649a6469e887bf489dc90a8c8
treec631d33b5a16decd63b4c40d8d3d590c30d2f018
parentb77137f178dda8e221d923131d61288633d62a03
The patch extends the VMCS handling to support both 32-bit and 64-bit
guests. Please apply. It also includes cleanups.

Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>
Signed-off-by: Yunhong Jiang <yunhong.jiang@intel.com>
xen/arch/x86/vmx_platform.c
xen/arch/x86/vmx_vmcs.c
xen/include/asm-x86/vmx_intercept.h